类比推理中的一种相似性准则及其验证方法

类比推理是人工智能领域中的重要研究方向,而相似性准则是类比推理中的重要概念。文中给出了类比推理的一种描述框架,定义了相似性准则,并且基于项重写技术,提出了相应的验证方法。     

M/G/1(RVT,P(j))排队系统的另一分析方法及其应用

M/G/1(RVT,P(j))表示服务员具有随机长度休息时间(RVT)的、且一休息时间结束时有 j 个顾客等待的概率为 P(j)的、修正的 M/G/1 排队系统。我们用嵌入 Markov 链的技术已详细地分析过这一排队系统,这里提供另一分析方法。最后,应用这个排队系统的分析结果,对时隙 ALOHA 卫星公用信道的分组碰撞概率计算公式作了推导。     

振动非平衡喷管流场的数值研究

从非定常的基本方程出发,采用时间相关法,利用带有平滑项的ＭａｃＣｏｒｍａｃｋ格式对以氮气为实验气体的一维振动非平衡喷管流场进行了数值计算。分析了不同条件下振动非平衡对流场的影响,确定了支配振动非平衡的主要因素。计算结果表明,对于一些实际应用的喷管条件,振动非平衡具有较为显著的影响。     

攻击大目标子母弹射击概率的分析与估算

射击概率是子母弹武器效能分析的重要参数,本文以攻击大（线）目标子母弹为对象,提出一种计算命中概率的简便的近似法,计算结果表明该方法计算量小,计算精度工程上可接受;本文还引出了子母弹封锁概率的概念,并作了初步分析。本文结果对子母弹武器论证与设计使用将提供有益的参考。     

最大实体要求及其可逆要求的分析

本文指出了 MMR 或 RR 应用于 MMR 的功能及应用范围;分析了两种要求在使用上的区别;提出了采用两种要求的零件正确的检测方法。     

末端子弹技术发展的探讨

文章从末端子母弹发展的现状、技术问题及精确制导技术应用于子母弹后的技术发展状态与方向作了简要的讨论。最后认为,针对不同的目标特性,末敏、末修、末控子弹是今后子母弹发展的方向。     

通过协作的人机交互进行态势估计

数据融合表征为在4个抽象级上进行:单元级、态势级、威胁级以及资源分配级。单元级特性试图确定各个平台目标属性。在态势级,探测诸如战斗群这样的单元编队。在威胁级和资源分配级,对可能的敌方意图和我方可能作出的反应进行推理。然而,对于更高级的抽象,也就是战斗力和威胁的抽象,没做什么工作。这篇论文提出了一种态势估计方法,其中包括战斗力与威胁的明确概念化。对这些战斗力与威胁的图形说明是为了加强单元级描述,避免含糊不清。这篇论文采用了一种崭新的用户接口——该接口允许人与计算机进行协作,使得战术估计优于人或机器独自工作的水平。论文随后说明人机责任的自然分工,并以战争情景为例说明这种协作系统的益处。     

带混合边界条件的m——分支半线性反应扩散系统

采用非线性分析的方法与技巧,研究了一类带混合边界条件的m(m≥2)一分支半线性反应扩散系统解的整体存在性.首次给出一种控制条件,使其“IntermediateSums”控制指数可达到 ∞.     

非标准分析与概率论

本文概述了非标准分析发展的简史,介绍了超实数系,导数的非标准表示,并举例说明了数学命题的非标准证明比标准证明更为简洁、直观。文章的后一部分介绍了ｌｏｅｂ概率空间以及概率积分的＊有限求和的表示,并指出概率论从本质上是初等的结论。     

部分参数不准确的线性系统H∞状态估计滤波问题

本文研究了部分参数不准确的线性系统的Ｈ_∞状态估计滤波问题,或即参数鲁棒性Ｈ_∞估计问题。我们先把它简化为带δ参数的对象的Ｈ_∞状态估计滤波问题,采用Ｊ无损分解方法,推导出可解性条件和滤波器的全部显式通解。